Jiří Barnat: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Automated Functional Safety Analysis of Automated Driving Systems

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 947 KB

english, 2018

2

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Wholly!: A Build System For The Modern Software Stack

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 593 KB

english, 2018

3

Designing fast LTL model checking algorithms for many-core GPUs

Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka

Journal:

Journal of Parallel and Distributed Computing

Year:

2012

Language:

english

File:

PDF, 758 KB

english, 2012

4

On clock-aware LTL parameter synthesis of timed automata

Bezděk, Peter, Beneš, Nikola, Černá, Ivana, Barnat, Jiří

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1019 KB

english, 2018

5

Formal analysis of piecewise affine systems through formula-guided refinement

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, Calin Belta

Journal:

Year:

2013

Language:

english

File:

PDF, 832 KB

english, 2013

6

Comparison of Analytical and Numerical Methods Applied to Lateral Torsional Buckling of Beams

Vild, Martin, Piják, Jiří, Barnat, Jan, Bajer, Miroslav, Melcher, Jindřich, Karmazínová, Marcela

Journal:

Procedia Engineering

Year:

2017

Language:

english

File:

PDF, 518 KB

english, 2017

7

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Predicate Abstraction and Such...

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 211 KB

english, 2018

8

Experimental Analysis of Lateral Torsional Buckling of Beams with Selected Cross-Section Types

Barnat, Jan, Bajer, Miroslav, Vild, Martin, Melcher, Jindřich, Karmazínová, Marcela, Piják, Jiří

Journal:

Procedia Engineering

Year:

2017

Language:

english

File:

PDF, 1.14 MB

english, 2017

9

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

Yordanov, Boyan, Tumova, Jana, Cerna, Ivana, Barnat, Jiří, Belta, Calin

Journal:

IEEE Transactions on Automatic Control

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

10

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 253 KB

english, 2018

11

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Formal analysis of piecewise affine systems through formula-guided refinement

Yordanov, Boyan, Tumova, Jana, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

12

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Attraction-based receding horizon path planning with temporal logic constraints

Svorenova, Maria, Tumova, Jana, Barnat, Jiri, Cerna, Ivana

Year:

2012

Language:

english

File:

PDF, 431 KB

english, 2012

13

[IEEE Distributed Processing (IPDPS) - Rome, Italy (2009.05.23-2009.05.29)] 2009 IEEE International Symposium on Parallel & Distributed Processing - Efficient large-scale model checking

Verstoep, Kees, Bal, Henri E., Barnat, Jiri, Brim, Lubos

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

14

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - ProbDiVinE: A Parallel Qualitative LTL Model Checker

Barnat, Jiri, Brim, Lubos, Cema, Ivana, Ceska, Milan, Tumova, Jana

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

15

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Optimal observation mode scheduling for systems under temporal constraints

Tesarova, Eva, Svorenova, Maria, Barnat, Jiri, Cerna, Ivana

Year:

2016

Language:

english

File:

PDF, 357 KB

english, 2016

16

[IEEE 2009 International Workshop on High Performance Computational Systems Biology (HIBI) - CoSBi, Trento, Italy (2009.10.14-2009.10.16)] 2009 International Workshop on High Performance Computational Systems Biology - Computational Analysis of Large-Scale Multi-affine ODE Models

Brim, Lubos, Barnat, Jiri, Cerna, Ivana, Drazan, Sven, Fabrikova, Jana, Safranek, David

Year:

2009

Language:

english

File:

PDF, 589 KB

english, 2009

17

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Using Off-the-Shelf Exception Support Components in C++ Verification

Still, Vladimir, Rockai, Petr, Barnat, Jiri

Year:

2017

Language:

english

File:

PDF, 188 KB

english, 2017

18

[IEEE 2009 15th International Conference on Parallel and Distributed Systems - Shenzhen, China (2009.12.8-2009.12.11)] 2009 15th International Conference on Parallel and Distributed Systems - CUDA Accelerated LTL Model Checking

Barnat, Jirí, Brim, Lubo, Ceka, Milan, Lamr, Tomá

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

19

[ACM Press the 16th International ACM Sigsoft symposium - Vancouver, British Columbia, Canada (2013.06.17-2013.06.21)] Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13 - DCCL

Barnat, Jiří, Beneš, Nikola, Černá, Ivana, Petruchová, Zuzana

Year:

2013

Language:

english

File:

PDF, 568 KB

english, 2013

20

Different cross-section in lateral-torsional buckling

Bajer, Miroslav, Barnat, Jan, Vild, Martin, Melcher, Jindřich, Karmazínová, Marcela, Piják, Jiri

Journal:

Year:

2017

Language:

english

File:

PDF, 997 KB

english, 2017

21

Distributed breadth-first search LTL model checking

Jiří Barnat, Ivana Černá

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 417 KB

english, 2006

22

[IEEE 2009 International Workshop on High Performance Computational Systems Biology (HIBI) - CoSBi, Trento, Italy (2009.10.14-2009.10.16)] 2009 International Workshop on High Performance Computational Systems Biology - DiVinE 2.0: High-Performance Model Checking

Barnat, Jiri, Brim, Lubos, Rockai, Petr

Year:

2009

Language:

english

File:

PDF, 153 KB

english, 2009

23

Shared Hash Tables in Parallel Model Checking

Jiří Barnat, Petr Ročkai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 652 KB

english, 2008

24

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Model Checking Parallel Programs with Inputs

Barnat, Jiri, Bauch, Petr, Havel, Vojtech

Year:

2014

Language:

english

File:

PDF, 198 KB

english, 2014

25

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - A symbolic approach to controlling piecewise affine systems

Tumova, Jana, Yordanov, Boyan, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

26

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Adaptive Learning for Learn-Based Regression Testing

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 374 KB

english, 2018

27

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Barnat, Jiri, Brim, Lubos, Safranek, David, Vejnar, Martin

Year:

2010

Language:

english

File:

PDF, 761 KB

english, 2010

28

Control Explicit--Data Symbolic Model Checking

Bauch, Petr, Havel, Vojtěch, Barnat, Jiří

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2016

Language:

english

File:

PDF, 1.21 MB

english, 2016

29

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || A Modeling Language for Security Threats of IoT Systems

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 996 KB

english, 2018

30

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - DiVinE: Parallel Distributed Model Checker

Barnat, Jiri, Brim, Lubos, Ceska, Milan, Rockai, Petr

Year:

2010

Language:

english

File:

PDF, 830 KB

english, 2010

31

Analysing sanity of requirements for avionics systems

Barnat, Jiří, Bauch, Petr, Beneš, Nikola, Brim, Luboš, Beran, Jan, Kratochvíla, Tomáš

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

32

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 196 KB

english, 2018

33

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Active Mining of Document Type Definitions

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 827 KB

english, 2018

34

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model

Barnat, Jiri, Brim, Lubo, Havel, Vojtech

Year:

2013

Language:

english

File:

PDF, 493 KB

english, 2013

35

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Parallel Model Checking and the FMICS-jETI Platform

Barnat, Jiri, Brim, Lubos, Leucker, Martin

Year:

2007

Language:

english

File:

PDF, 156 KB

english, 2007

36

and graph memory

Ročkai, Petr, Štill, Vladimír, Černá, Ivana, Barnat, Jiří

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 906 KB

english, 2018

37

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 547 KB

english, 2018

38

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties

Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 368 KB

english, 2012

39

Distribution of Explicit-State LTL Model-Checking

Luboš Brim, Jiří Barnat

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 106 KB

english, 2003

40

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11119 (23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings) || Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

Howar, Falk, Barnat, Jiří

Year:

2018

Language:

english

File:

PDF, 244 KB

english, 2018

41

Lateral Torsional Buckling of Selected Cross-Section Types

Bajer, Miroslav, Barnat, Jan, Pijak, Jiri

Journal:

Procedia Engineering

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

42

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Parallel Partial Order Reduction with Topological Sort Proviso

Barnat, Jiri, Brim, Lubos, Rockai, Petr

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

43

Improved Distributed Algorithms for SCC Decomposition

Jiří Barnat, Jakub Chaloupka, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 335 KB

english, 2008

44

[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - Employing Multiple CUDA Devices to Accelerate LTL Model Checking

Barnat, Jiri, Bauch, Petr, Brim, Lubos, Ceska, Milan

Year:

2010

Language:

english

File:

PDF, 226 KB

english, 2010

45

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Cluster-Based I/O-Efficient LTL Model Checking

Barnat, Jiri, Brim, Lubos, Simecek, Pavel

Year:

2009

Language:

english

File:

PDF, 443 KB

english, 2009

46

Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories

Bauch, Petr, Havel, Vojtěch, Barnat, Jiří

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.84 MB

english, 2016

47

[IEEE 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Macau, China (2019.11.3-2019.11.8)] 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - RoFICoM â First Open-Hardware Connector for Metamorphic Robots

Mrazek, Jan, Barnat, Jiri

Year:

2019

File:

PDF, 5.43 MB

2019

48

[IEEE Distributed Processing Symposium (IPDPS) - Anchorage, AK, USA (2011.05.16-2011.05.20)] 2011 IEEE International Parallel & Distributed Processing Symposium - Computing Strongly Connected Components in Parallel on CUDA

Barnat, Jiri, Bauch, Petr, Brim, Lubos, Ceka, Milan

Year:

2011

Language:

english

File:

PDF, 618 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски